منابع مشابه
Stratégie de couverture de test à un haut niveau d'abstraction
ions supplémentaires, nous pouvons synthétiser l’écriture de plusieurs objectifs de test en un schéma de test. Un schéma de test est une abstraction d’objectifs de test. Nous présentons maintenant les différentes abstractions proposées avant d’étudier comment nous pouvons exprimer la couverture des schémas de test vis-à-vis de la spécification. Avant de présenter les différentes abstractions, n...
متن کاملExtraction de connaissances à partir de données de protéomique de découverte haut-débit
This dissertation presents my research activity supervision during years 2012 through 2016, as well as prospects for the next five years. Through the presentation of two of my research projects, I analyze the various issues raised by leading a research group focused on the development of tools and methods for automated knowledge extraction from relative quantification of high-throughput mass sp...
متن کاملInsulinome de haut grade découvert après 5 ans d’hypoglycémies graves
Résumé Les tumeurs endocrines fonctionnelles du pancréas sont des lésions rares, parmi lesquelles les insulinomes sont les plus fréquents. La majorité des patients atteints d'insulinome ont entre 30 et 60 ans et 59% d'entre eux sont des femmes. La plupart des insulinomes sont sporadiques, alors que 10% sont développés chez des patients atteints de NEM. Le diagnostic repose sur la clinique et su...
متن کاملEvaluation of the French Haut Taux de Combustion ( HTC ) Critical Experiment
NRC publications in the NUREG series, NRC regulations, and Title 10, Energy, in the Code of Federal Regulations may also be purchased from one of these two sources: are updated periodically and may differ from the last printed version. Although references to material found on a Web site bear the date the material was accessed, the material available on the date cited may subsequently be removed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Gallia
سال: 2000
ISSN: 0016-4119
DOI: 10.3406/galia.2000.3020